Colored Non-Crossing Euclidean Steiner Forest

Given a set of $k$-colored points in the plane, we consider the problem of finding $k$ trees such that each tree connects all points of one color class, no two trees cross, and the total edge length of the trees is minimized. For $k=1$, this is the well-known Euclidean Steiner tree problem. For general $k$, a $k\rho$-approximation algorithm is known, where $\rho \le 1.21$ is the Steiner ratio. We present a PTAS for $k=2$, a $(5/3+\varepsilon)$-approximation algorithm for $k=3$, and two approximation algorithms for general~$k$, with ratios $O(\sqrt n \log k)$ and $k+\varepsilon$

Three‐dimensional myocardial scarring along myofibers after coronary ischemia–reperfusion revealed by computerized images of histological assays

Abstract Adverse left ventricular (LV) remodeling after acute myocardial infarction is characterized by LV dilatation and development of a fibrotic scar, and is a critical factor for the prognosis of subsequent development of heart failure. Although myofiber organization is recognized as being important for preserving physiological cardiac function and structure, the anatomical features of injured myofibers during LV remodeling have not been fully defined. In a mouse model of ischemia–reperfusion (I/R) injury induced by left anterior descending coronary artery ligation, our previous histological assays demonstrated that broad fibrotic scarring extended from the initial infarct zone to the remote zone, and was clearly demarcated along midcircumferential myofibers. Additionally, no fibrosis was observed in longitudinal myofibers in the subendocardium and subepicardium. However, a histological analysis of tissue sections does not adequately indicate myofiber injury distribution throughout the entire heart. To address this, we investigated patterns of scar formation along myofibers using three‐dimensional (3D) images obtained from multiple tissue sections from mouse hearts subjected to I/R injury. The fibrotic scar area observed in the 3D images was consistent with the distribution of the midcircumferential myofibers. At the apex, the scar formation tracked along the myofibers in an incomplete C‐shaped ring that converged to a triangular shape toward the end. Our findings suggest that myocyte injury after transient coronary ligation extends along myofibers, rather than following the path of coronary arteries penetrating the myocardium. The injury pattern observed along myofibers after I/R injury could be used to predict prognoses for patients with myocardial infarction

The dependency pair framework: Combining techniques for automated termination proofs

Abstract. The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible methods to prove termination. In this paper, we show that dependency pairs can instead be used as a general concept to integrate arbitrary techniques for termination analysis. In this way, the benefits of different techniques can be combined and their modularity and power are increased significantly. We refer to this new concept as the “dependency pair framework ” to distinguish it from the old “dependency pair approach”. Moreover, this framework facilitates the development of new methods for termination analysis. To demonstrate this, we present several new techniques within the dependency pair framework which simplify termination problems considerably. We implemented the dependency pair framework in our termination prover AProVE and evaluated it on large collections of examples.

Transcriptome analysis of Bupleurum chinense focusing on genes involved in the biosynthesis of saikosaponins

<p>Abstract</p> <p>Background</p> <p><it>Bupleurum chinense </it>DC. is a widely used traditional Chinese medicinal plant. Saikosaponins are the major bioactive constituents of <it>B. chinense</it>, but relatively little is known about saikosaponin biosynthesis. The 454 pyrosequencing technology provides a promising opportunity for finding novel genes that participate in plant metabolism. Consequently, this technology may help to identify the candidate genes involved in the saikosaponin biosynthetic pathway.</p> <p>Results</p> <p>One-quarter of the 454 pyrosequencing runs produced a total of 195, 088 high-quality reads, with an average read length of 356 bases (NCBI SRA accession SRA039388). A <it>de novo </it>assembly generated 24, 037 unique sequences (22, 748 contigs and 1, 289 singletons), 12, 649 (52.6%) of which were annotated against three public protein databases using a basic local alignment search tool (E-value ≤1e-10). All unique sequences were compared with NCBI expressed sequence tags (ESTs) (237) and encoding sequences (44) from the <it>Bupleurum </it>genus, and with a Sanger-sequenced EST dataset (3, 111). The 23, 173 (96.4%) unique sequences obtained in the present study represent novel <it>Bupleurum </it>genes. The ESTs of genes related to saikosaponin biosynthesis were found to encode known enzymes that catalyze the formation of the saikosaponin backbone; 246 cytochrome P450 (<it>P450</it>s) and 102 glycosyltransferases (<it>GT</it>s) unique sequences were also found in the 454 dataset. Full length cDNAs of 7 <it>P450</it>s and 7 uridine diphosphate <it>GT</it>s (<it>UGT</it>s) were verified by reverse transcriptase polymerase chain reaction or by cloning using 5' and/or 3' rapid amplification of cDNA ends. Two <it>P450</it>s and three <it>UGT</it>s were identified as the most likely candidates involved in saikosaponin biosynthesis. This finding was based on the coordinate up-regulation of their expression with <it>β-AS </it>in methyl jasmonate-treated adventitious roots and on their similar expression patterns with <it>β-AS </it>in various <it>B. chinense </it>tissues.</p> <p>Conclusions</p> <p>A collection of high-quality ESTs for <it>B. chinense </it>obtained by 454 pyrosequencing is provided here for the first time. These data should aid further research on the functional genomics of <it>B. chinense </it>and other <it>Bupleurum </it>species. The candidate genes for enzymes involved in saikosaponin biosynthesis, especially the <it>P450</it>s and <it>UGT</it>s, that were revealed provide a substantial foundation for follow-up research on the metabolism and regulation of the saikosaponins.</p

Critical Needs of African Universities: A Shared African-Japanese Perspective

Africa is experiencing an explosion in the number of universities and their student population. Borne out of our experience in academia, and informed by a theoretical model of knowledge production formulated by Gibbons (2002), this paper argues that besides the widely recognized need for better mobilization of resources for universities, there are other critical needs, including, a need for increased applied orientation of teaching and research programmes in order to enhance greater impact on poverty reduction and sustainable development and, thereby promote sustainability through demonstrated social relevance in the African continent. A way of achieving this is for the academic programmes to place more emphasis on linkages between the university researchers/academics and farmers, particularly for the purpose of improving locally adapted traditional knowledge systems for managing the continent’s rich biodiversity and natural resources, and upon linkages between researchers and manufacturers toward strengthening the underdeveloped industrial sector through value addition by processing. Other needs are greater external collaboration in knowledge sharing to generate positive synergies, and more imaginative internal revenue generation towards financially self-sustaining universities. Key words: Africa, Japan, universities, needs, research, linkages, collaboration, sustainable developmen